(FILECREATED " 3-SEP-74 17:35:38" GIF.;5 2718   

     changes to:  GIFCOMS DIALOG

     previous date: " 1-SEP-74 20:37:59" GIF.;4)


  (LISPXPRINT (QUOTE GIFCOMS)
	      T)
  (RPAQQ GIFCOMS (DIALOG OLD:PREADLIST (COMS (PROP META:CODE PARTITION:BY:TAKE:ELE:AND:CLASS 
						   PARTITION:BY:TAKE:ELE:GET:CLASS))))
  (RPAQQ DIALOG ((LEGAL N M)
	  (LEGAL S)
	  2
	  (??? N K)
	  LEGAL
	  (??? N N)
	  ILLEGAL
	  (ILLEGAL M N)
	  (??? P M)
	  LEGAL
	  (??? P K)
	  LEGAL
	  (LEGAL R K)
	  (??? R M)
	  ILLEGAL
	  (LEGAL S)
	  1))
  (RPAQQ OLD:PREADLIST (0 (WRITE A PROGRAM WHICH INFERS GRAMMARS)
			  GI YESNO 2 IFG YESNO INFER:PHRASESTRUCTURE:GRAMMARS NIL PAD YESNO (A C)
			  NIL NIL NIL YES YES NIL NO NIL NIL YES YES YES YES NO NIL YES YES YES YES YESNO
			  (A DESCRIPTION OF AN UNCOMMENTED STRING)
			  NIL YESNO (THE FRONT PART OF ELEMENT ISNT ???)
			  YES YES YES NO T NIL NIL NO NIL YESNO (B)
			  (LEGAL ILLEGAL)
			  YES
			  (ELEMENT:6 CAN BE PARSED)
			  YESNO NO NIL T NO YESNO YES T YES YESNO YES 1 YESNO YES YES NIL NIL NIL YESNO YES YESNO YES 
			  NO YES NIL YES YES YES YES NIL YES YES YESNO NIL YESNO YES YES YES YES YES YES YES YES YES 
			  YES YESNO YES YES YESNO YES YES YESNO YES ARG1 NIL YESNO (A C)
			  NIL NIL NO NIL YESNO (B)
			  NIL NO NIL YESNO (A)
			  NO NIL YESNO YES (THOSE LEGAL STRINGS WHICH MATCH ARG1)
			  NIL NIL NO NIL YESNO (ARG1 AND ARG2 AND THERE ARE LESS THAN 8 THINGS IN ARG1 , ARG2)
			  NO T YESNO (B)
			  NIL YESNO YES (RULES:USED WHICH IS IN RESULT:3)
			  NIL YESNO (B)
			  NO NIL YESNO YES (ANY RULE ESPECIALLY ONE WHICH HAS JUST BEEN USED)
			  NIL YESNO NIL YESNO NIL YESNO 2 (THE FRONT PART OF ARG1)
			  YESNO 1 (CDR ARG1)
			  NIL NIL ((S))
			  RESULT:1 PARSE YES YES 3 2 NO NIL YESNO (ARG1 CAN BE PARSED EQUALS NIL)
			  YES YES NO T CLASS:NAME:NAME:N NO NIL YESNO (THE SECOND ELEMENT OF ELEMENT:6 EQUALS S)
			  YES NO T YES CONDITIONAL:INSERTION:20 YES CONDITIONAL:INSERTION:20 YES 
			  CONDITIONAL:INSERTION:20 YES CONDITIONAL:INSERTION:20 NIL SET:OF:ILLEGAL:STRINGS))
(DEFLIST(QUOTE(
  (PARTITION:BY:TAKE:ELE:AND:CLASS (PROGN (TAKE:HOLD:OF ELEMENT)
					  (SETQ PRESULT (GET:HOLD:OF NAME:OF:CLASS))
					  (COMMENT NOTICE THAT WE DO NOT NECESSARILY HAVE TO MAKE THE PRECEDING 'GUESS' 
						   IN ALL POSSIBLE ALGORITHMS)
					  (TAKE:HOLD:OF NAME:OF:CLASS)
					  (COMPLEX:MODIFY:STRUCTURE NAME:OF:CLASS ELEMENT PRESULT)))
  (PARTITION:BY:TAKE:ELE:GET:CLASS (PROGN (TAKE:HOLD:OF ELEMENT)
					  (SETQ PRESULT (GET:HOLD:OF NAME:OF:CLASS))
					  (TAKE:HOLD:OF NAME:OF:CLASS)
					  (COMPLEX:MODIFY:STRUCTURE NAME:OF:CLASS ELEMENT PRESULT)))
))(QUOTE META:CODE))
(DECLARE: DONTCOPY
  (FILEMAP (NIL)))
STOP